Trong toán học, giả sử S là tập con của một tập được sắp một phần T, cận trên đúng (sup) của S, nếu tồn tại, là phần tử nhỏ nhất củaT mà lớn hơn hoặc bằng với mọi phần tử của S. Chính vì thế, cận trên đúng còn được gọi là cận trên nhỏ nhất (least upper bound), lub hay LUB. Nếu cận trên đúng tồn tại, nó có thể thuộc hay không thuộc S. Nếu tồn tại, cận trên đúng là duy nhất.Cận trên đúng thường được dùng cho các tập con của số thực, số hữu tỉ, hay cho bất kỳ một cấu trúc toán học nào mà trong đó có định nghĩa một cách rõ ràng khái niệm một phần tử " lớn-hơn-hay-bằng " một phần tử khác. Định nghĩa này dễ dàng được tổng quát hóa cho các tập hợp trừu tượng hơn trong lý thuyết sắp, mà ở đó người ta khảo sát các tập được sắp một phần bất kỳ.Khái niệm cận trên đúng không trùng với các khái niệm như cận trên cực tiểu, phần tử cực đại, hay phần tử lớn nhất.